define ccc proc(f)
	return := proc(x) return := proc(y) return := f(x,y) end end
end;

z := ccc(+)(5)(4)
